trait T[@specialized(Int) A] { def t(a: A): A }